Sysml Knowledge base for Designing Dependable Complex System
نویسندگان
چکیده
Résumé Le travail présenté dans cet article s’inscrit dans la proposition d’un cadre de conception des systèmes complexes aussi complet et rigoureux que possible. Le cadre méthodologique utilisé est l’Ingénierie Système, qui est une démarche méthodologique pour maîtriser la conception des systèmes et produits complexes. Les pratiques de cette démarche sont aujourd’hui répertoriées dans des normes, réalisées à l’aide de méthodes et supportées par des outils. Dans notre cas, la norme EIA-632 a été adoptée. Plus particulièrement, nous nous préoccupons de la sûreté de fonctionnement de ces systèmes complexes. C’est d’ailleurs sur la base de faiblesses des processus actuels traitant de la sûreté que nous avons défini une démarche globale. Cette approche intègre la prise en compte de la sûreté dans les processus d’ingénierie système. Le travail illustré dans cet article vient appuyer et compléter cette démarche globale : il s’agit de la proposition d’un modèle d’information, basé sur le langage SysML, permettant la gestion des exigences, dont les exigences de sûreté.
منابع مشابه
Unifying SysML and OWL
To use OWL2 for modeling a system design one must be able to construct a Knowledge Base (KB) that can represent detailed information such as the number of occurrences of a part and interconnections between parts. SysML Block Diagrams (BD) have sufficient expressiveness to represent detailed designs. Suitably restricted SysML block diagrams can be translated into OWL2 to achieve the same result....
متن کاملSimulation-Based Design Using SysML - Part 1: A Parametrics Primer
Abstract. OMG SysMLTM is a modeling language for specifying, analyzing, designing, and verifying complex systems. It is a general-purpose graphical modeling language with computer-sensible semantics. This Part 1 paper and its Part 2 companion show how SysML supports simulation-based design (SBD) via tutorial-like examples. Our target audience is end users wanting to learn about SysML parametric...
متن کاملSysML Extension for Dynamical System Simulation Tools
Computer-interpretable representations of system structure and behavior are at the center of designing today’s complex systems. Engineers create and review such representations using graphical modeling languages that support specification, analysis, design, verification and validation of systems that include hardware, software, data, personnel, procedures, and facilities, in particular the Syst...
متن کاملA Formal Universal Systems Semantics for SysML
OMG SysML1 is a general purpose systems modeling language adopted by OMG in May, 2006. Used for specifying, analyzing, designing, and verifying complex systems; it provides graphical representations with a semantic foundation for modeling system requirements, behavior, structure, and integration with a broad range of engineering analysis. SysML represents a subset of UML2 with extensions needed...
متن کاملTowards the Integration of Safety Analysis in a Model-Based System Engineering Approach with SysML
Mechatronic systems are complex systems involving knowledge from various disciplines such as computer science, mechanics, electronics and control. Model-based system engineering is an efficient approach to cope with the increasing system complexity. It covers specifying, designing, simulating and validating systems and is very useful for the design of complex systems since it helps better manag...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1212.4246 شماره
صفحات -
تاریخ انتشار 2012